Fast Algorithm for Enumerating Diagonal Latin Squares of Small Order

نویسندگان

  • Stepan Kochemazov
  • Eduard Vatutin
  • Oleg Zaikin
چکیده

In this paper we propose an algorithm for enumerating diagonal Latin squares of small order. It relies on specific properties of diagonal Latin squares to employ symmetry breaking techniques, and on several heuristic optimizations and bit arithmetic techniques to make use of computational power of stateof-the-art CPUs. Using this approach we enumerated diagonal Latin squares of order at most 9, and vertically symmetric diagonal Latin squares of order at most 10.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Using grid systems for enumerating combinatorial objects on example of diagonal Latin squares

In this paper we consider the problem of enumerating diagonal Latin squares of small order. In particular we discuss possible algorithmic approaches to this problem and show our results in this regard. Surprisingly, our research showed that the best algorithm for enumerating diagonal Latin squares consists of a number of fixed loops, and its effectiveness can be significantly increased by caref...

متن کامل

On Some Features of Symmetric Diagonal Latin Squares

In this paper, we study the dependencies of the number of symmetric and doubly symmetric diagonal Latin squares on the order N. Using fast generator of diagonal Latin squares (augmented by symmetry checker), we determined these dependencies for order at most 8. We also found a number of doubly symmetric diagonal Latin squares of orders 12, 16 and 20.

متن کامل

New bounds for pairwise orthogonal diagonal Latin squares

A diagonal Latin square is a Latin square whose main diagonal and back diagonal are both transversals. Let dr be the least integer such that for all n > dr there exist r pairwise orthogonal diagonal Latin squares of order n. In a previous paper Wallis and Zhu gave several bounds on the dr. In this paper we shall present some constructions of pairwise orthogonal diagonal Latin squares and conseq...

متن کامل

The Search for Systems of Diagonal Latin Squares Using the SAT@home Project

In this paper we consider the approach to solving the problem of search for systems of diagonal orthogonal Latin squares in the form of the Boolean Satisfiability problem. We describe two different propositional encodings that we use. The first encoding is constructed for finding pairs of orthogonal diagonal Latin squares of order 10. Using this encoding we managed to find 17 previously unknown...

متن کامل

On the existence of self-orthogonal diagonal Latin squares

A diagonal Latin square is a Latin square whose main diagonal and back diagonal are both transversals. A Latin square is self-orthogonal if it is orthogonal to its transpose. In an earlier paper Danhof, Phillips and Wallis considered the question of the existence of self-orthogonal diagonal Latin squares of order 10. In this paper we shall present some constructions of self-orthogonal diagonal ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:
  • CoRR

دوره abs/1709.02599  شماره 

صفحات  -

تاریخ انتشار 2017